/*
 * 
 */
package milecToMinisat;

/** 
 * This class, implementing the IntegerExp interface, describes integer constant. 
 * 
 * @author ter-topcased-ups
 * @version 0.01, 2008/12/03
 * 
 */

public class IntegerCst implements IntegerExp {
	private int value ;
	private int size ;

	/**
	 * @param value
	 */
	public IntegerCst(int value) {
		this.value = value;
		this.size = 31 - Integer.numberOfLeadingZeros(this.value) ;
	}
	
	public int getValue() {
		return value ;
	}
	public int getSize() {
		return size ;
	}
}
